projects / xen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 688eeb8) | patch
x86/hap: Remove bogus assertion in hap_free_p2m_page()
authorAndrew Cooper <andrew.cooper3@citrix.com>
Wed, 25 Sep 2013 08:45:53 +0000 (10:45 +0200)
committerJan Beulich <jbeulich@suse.com>
Wed, 25 Sep 2013 08:45:53 +0000 (10:45 +0200)
commitae7c6b64c063a755097806e30dc24b94fabbda09
tree8b6f6e0ae52102386491e91a76a2dbf34f451245tree | snapshot
parent688eeb878cc58150bf6e729c9c1836b8c1e4cc8fcommit | diff
x86/hap: Remove bogus assertion in hap_free_p2m_page()

Coverity ID: 1055622

Coverity correctly points out that this ASSERT() is unconditionally true as an
unsigned integer is always >= 0.

Judging from the shadow counterpart and p2m callsites, there is nothing
invalid about freeing the final p2m page.

Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
Acked-by: Tim Deegan <tim@xen.org>
xen/arch/x86/mm/hap/hap.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.